Tweak previous change.
authorGlenn Morris <rgm@gnu.org>
Fri, 18 May 2007 07:43:29 +0000 (07:43 +0000)
committerGlenn Morris <rgm@gnu.org>
Fri, 18 May 2007 07:43:29 +0000 (07:43 +0000)
commit392e85ebb8fb8066a7e41b00c24a71848e287b1c
treefc7820e7deba1a7d5b1f327ccedb01a992401d20
parentfb8ed8ba327031441608f5b06d70a991e56c9d33
Tweak previous change.
etc/PROBLEMS